{`$α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔π∩p_g#λ≠M&4_␈␈␈␈x␈␈␈␈8@␈␈␈␈8@␈␈␈␈hβ&A)Xε&aiXλ'α	X	'α)`	'α)`	'α)hλ'α	hπ'!Ih¬'@d !@␈␈␈x␈␈␈␈x|↔␈␈␈x|↔@πβ∪↓ Mε∪!`Mλ∪" MIS2@MJS2`MKSBpML∪CMLSC⊂MM∪C MMSC0N
SC0MN∪C@N∞∪C@N∞∪C@N∞∪C@N∞∪C@N∞∪C@NMSC0N
SC0NM∪C NLSC⊂NL∪CNKSBpNK∪RPNJ∪R0NI∪bOπ∪a@O¬∀`"⊂`←␈x␈␈␈␈x␈}␈␈x␈t↓`βAI@
&C	P∞&D	P∩&diX∀&e)X⊗&ei`↔&f	`_&f)`→&fI`~&fi`≠'εi`≠&g	`≤'π	`≤'π	`≤'π	`≤'π	`≤'π	`≤'&i`≠'εi`≠'&I`~'&)`→'&	`_'%i`↔'%Ih∃'%	h∪'$Ip⊂'CIp'BJε⊃λ0?x␈␈␈␈x␈␈␈¬␈x␈␈z¬p↓``L¬∪!@Mπ∪"M	∪20MJ∪2PMK∪2pNS3N∪3⊂NS3 N
∪30N
SC0N
S3@N∞∪C@N∞∪C@N∞∪C@N∞∪C@N∞∪C@N∞∪S0N
SC0N
SS N
∪S⊂NSSN∪RpNSR`NJSBPMK∪2pNS3N∪3⊂NS3 N
∪30N
SC0N
S3@N∞∪C@N∞∪C@N∞∪C@N∞∪C@N∞∪C@N∞∪S0N
SC0N
SS N
∪S⊂NSSN∪RpNSR`NJSR@NISR Oλ∪a`Oε∪a PβλD_ ␈␈␈␈x␈␈␈␈@αx␈␈␈z@␈␈␈⎇xpε&αIP&CIP⊂&DIX∪&e	X∃&eIX↔'¬iX_'ε	X→'ε)X~'εIX≠'εi`≠'εiX≤'π	`≤'π	`≤'π	`≤'π	`≤'π	`≤'π	h≠'εi`≠'εih~'εIh→'ε)h_'ε	h↔'¬ih⊗'%)h∀'$ih∩'D	p∞'C	p
(↓D !@α␈␈␈x␈␈␈␈x|↔␈␈␈xT↔@πβ∪↓ Mε∪!`Mλ∪" MIS2@MJS2`MKSBpML∪CMLSC⊂MM∪C MMSC0N
SC0MN∪C@N∞∪C@N∞∪C@N∞∪C@N∞∪C@N∞∪C@NMSC0N
SC0NM∪C NLSC⊂NL∪CNKSBpNK∪RPNJ∪R0NI∪bOπ∪a@O¬∀`"F↓I@
&C	P∞&D	P∩&diX∀&e)X⊗&ei`↔&f	`_&f)`→&fI`~&fi`≠'εi`≠&g	`≤'π	`≤'π	`≤'π	`≤'π	`≤'π	`≤'&i`≠'εi`≠'&I`~'&)`→'&	`_'%i`↔'%Ih∃'%	h∪'$Ip⊂'CIp'BJε⊃λ0ox␈␈␈␈x␈␈␈¬␈x␈␈up↓``L¬∪!@Mπ∪"M	∪20MJ∪2PMK∪2pNS3N∪3⊂NS3 N
∪30N
SC0N
S3@N∞∪C@N∞∪C@N∞∪C@N∞∪C@N∞∪C@N∞∪S0N
SC0N
SS N
∪S⊂NSSN∪RpNSR`NJSBPMK∪2pNS3N∪3⊂NS3 N
∪30N
SC0N
S3@N∞∪C@N∞∪C@N∞∪C@N∞∪C@N∞∪C@N∞∪S0N
SC0N
SS N
∪S⊂NSSN∪RpNSR`NJSR@NISR Oλ∪a`Oε∪a PβλD_8␈␈␈␈x␈␈␈␈@αx␈␈␈z@αxpε&αIP&CIP⊂&DIX∪&e	X∃&eIX↔'¬iX_'ε	X→'ε)X~'εIX≠'εi`≠'εiX≤'π	`≤'π	`≤'π	`≤'π	`≤'π	`≤'π	h≠'εi`≠'εih~'εIh→'ε)h_'ε	h↔'¬ih⊗'%)`∃&eIX↔'¬iX_'ε	X→'ε)X~'εIX≠'εi`≠'εiX≤'π	`≤'π	`≤'π	`≤'π	`≤'π	`≤'π	h≠'εi`≠'εih~'εIh→'ε)h_'ε	h↔'¬ih⊗'%)`∃&eIX↔'¬iX_'ε	X→'ε)X~'εIX≠'εi`≠'εiX≤'π	`≤'π	`≤'π	`≤'π	`≤'π	`≤'π	h≠'εi`≠'εih~'εIh→'ε)h_'ε	h↔'¬ih⊗'%)h∀'$ih∩'D	p∞'C	p
(↓D !@<␈␈␈x␈␈␈␈x|+␈␈␈x|↔@πββ@`L¬αA Mεα↓@Mπ↓A`Mλ↓αM	B MI@"0MP
	X ∀S4*&h¬0N⊂
iX ⊗∪D,&h¬PN⊂)X ↔∪D.&h¬pN⊂i` ↔SD/&hεN⊂	` _∪D0'λεN⊂	` _∪D0'λεN⊂	` _∪D0'(¬pN⊂i` ↔SD/'(¬`N⊂Ih ⊗SD-'(¬@N⊂	h ∃SD+'(¬ NP
)h ∀∪R0↓	SR α	∪b∧λ∪a`επ∪a@λε∪a 
¬∀`∞βλD_πP␈␈␈␈x␈␈␈␈@¬8␈␈␈⎇8pεπ↓I@
¬αIP∧β	P∞ββIP⊂α∧	P∩↓∧IX∪DiX ∀∪4)&h¬ MP
i` ∃S4,'λ¬@MP)` ⊗S4.'λ¬`MPi` ↔SD/'λ¬pMP	` _∪D0'λεN⊂	` _∪D0'λεN⊂	` _∪D0'λεNPi` ↔SD/'λ¬pNPI` ↔∪T-'λ¬PNP	` ⊗∪T+'λ¬0NP
Ih ∀ST('$`⊂∪'$@ ∩'D@⊂'C@`∞'C↓'BA 
(↓A`ε⊃λ0∂?x␈␈␈␈x␈␈␈
␈x␈␈z¬p↓``∞β∪↓ 
¬∪!@λε∪!`επ∪"∧λ∪" α	∪20↓	S4(&h¬⊂MP
IX ∃SD+&h¬@N⊂	X ⊗SD-&h¬`N⊂IX ↔SD/'λ¬pN⊂iX _∪D0'λεN⊂	` _∪D0'λεN⊂	` _∪D0'λεN⊂	h ↔SD/'λ¬pN⊂ih ↔∪D.'(¬PN⊂)h ⊗∪D,'(¬0N⊂
ih ∃∪T)'λ¬⊂MP
IX ∃SD+&h¬@N⊂	X ⊗SD-&h¬`N⊂IX ↔SD/'λ¬pN⊂iX _∪D0'λεN⊂	` _∪D0'λεN⊂	` _∪D0'λεN⊂	h ↔SD/'λ¬pN⊂ih ↔∪D.'(¬PN⊂)h ⊗∪D,'(¬0N⊂
ih ∃∪T)'(¬NI@"0NIB Oλ↓αOπ↓A`Oεα↓@O¬αA Pββ@`"⊂`∨∨␈x␈␈␈␈x␈}∃␈␈x␈j∨␈x␈w`βAA`ε&αA 
&C↓&C@`∞&D@⊂&D@ ∩&d`⊂∪&h¬MP
)X ∃∪4+'λ¬0MP	` ⊗∪4-'λ¬PMPI` ↔∪4/'λ¬pN⊂i` ↔S40'λεN⊂	` _∪D0'λεN⊂	` _∪D0'λεN⊂	` _∪T/'λ¬pN⊂i` ↔ST.'λ¬`NP)` ⊗ST,'λ¬@NP
i` ∃ST*'(¬⊂NP
	h∪Dih∩↓∧Ip⊂α∧	p∞ββIp∧β	p
¬αJεπ↓D !@>␈␈␈x␈␈␈␈x|+␈␈␈xT↔@πββ@`L¬αA Mεα↓@Mπ↓A`Mλ↓αM	B MI@"0MP
	X ∀S4*&h¬0N⊂
iX ⊗∪D,&h¬PN⊂)X ↔∪D.&h¬pN⊂i` ↔SD/&hεN⊂	` _∪D0'λεN⊂	` _∪D0'λεN⊂	` _∪D0'(¬pN⊂i` ↔SD/'(¬`N⊂Ih ⊗SD-'(¬@N⊂	h ∃SD+'(¬ NP
)h ∀∪R0↓	SR α	∪b∧λ∪a`επ∪a@λε∪a 
¬∀`∞βλQ@επ↓I@
¬αIP∧β	P∞ββIP⊂α∧	P∩↓∧IX∪DiX ∀∪4)&h¬ MP
i` ∃S4,'λ¬@MP)` ⊗S4.'λ¬`MPi` ↔SD/'λ¬pMP	` _∪D0'λεN⊂	` _∪D0'λεN⊂	` _∪D0'λεNPi` ↔SD/'λ¬pNPI` ↔∪T-'λ¬PNP	` ⊗∪T+'λ¬0NP
Ih ∀ST('$`⊂∪'$@ ∩'D@⊂'C@`∞'C↓'BA 
(↓A`ε⊃λ0∂ox␈␈␈␈x␈␈␈
␈x␈␈up↓``∞β∪↓ 
¬∪!@λε∪!`επ∪"∧λ∪" α	∪20↓	S4(&h¬⊂MP
IX ∃SD+&h¬@N⊂	X ⊗SD-&h¬`N⊂IX ↔SD/'λ¬pN⊂iX _∪D0'λεN⊂	` _∪D0'λεN⊂	` _∪D0'λεN⊂	h ↔SD/'λ¬pN⊂ih ↔∪D.'(¬PN⊂)h ⊗∪D,'(¬0N⊂
ih ∃∪T)'λ¬⊂MP
IX ∃SD+&h¬@N⊂	X ⊗SD-&h¬`N⊂IX ↔SD/'λ¬pN⊂iX _∪D0'λεN⊂	` _∪D0'λεN⊂	` _∪D0'λεN⊂	h ↔SD/'λ¬pN⊂ih ↔∪D.'(¬PN⊂)h ⊗∪D,'(¬0N⊂
ih ∃∪T)'(¬NI@"0NIB Oλ↓αOπ↓A`Oεα↓@O¬αA Pββ@`"⊂`∨␈␈x␈␈␈␈x␈}∃␈␈x␈j`βAA`ε&αA 
&C↓&C@`∞&D@⊂&D@ ∩&d`⊂∪&h¬MP
)X ∃∪4+'λ¬0MP	` ⊗∪4-'λ¬PMPI` ↔∪4/'λ¬pN⊂i` ↔S40'λεN⊂	` _∪D0'λεN⊂	` _∪D0'λεN⊂	` _∪T/'λ¬pN⊂i` ↔ST.'λ¬`NP)` ⊗ST,'λ¬@NP
i` ∃ST*'(¬⊂N⊂
)X ∃∪4+'λ¬0MP	` ⊗∪4-'λ¬PMPI` ↔∪4/'λ¬pN⊂i` ↔S40'λεN⊂	` _∪D0'λεN⊂	` _∪D0'λεN⊂	` _∪T/'λ¬pN⊂i` ↔ST.'λ¬`NP)` ⊗ST,'λ¬@NP
i` ∃ST*'(¬⊂N⊂
)X ∃∪4+'λ¬0MP	` ⊗∪4-'λ¬PMPI` ↔∪4/'λ¬pN⊂i` ↔S40'λεN⊂	` _∪D0'λεN⊂	` _∪D0'λεN⊂	` _∪T/'λ¬pN⊂i` ↔ST.'λ¬`NP)` ⊗ST,'λ¬@NP
i` ∃ST*'(¬⊂NP
	h∪Dih∩↓∧Ip⊂α∧	p∞ββIp∧β	p
¬αJεπ↓D |p&?⎇Pα=ZxQ@↓ ↑@↓ ↑␈␈␈x{@+␈␈␈xT↔⎇@⊂V3 ∧?0@α 2=@ @↓≡∨0↓@α λ?=@@@↓K?0α@α ⊂t=@`@↓|o0β@α  a⎇O⊂↓α↓>∂0=∧@0a⎇O0↓α↓ro0>∧@@p⎇OP↓αα6O0?∧@X∨=Op↓αβ⊃∨H↓d`@w{⎇xow{⎇x